\subsection{ciudades(-Ciudades)}\label{labelCodigoCiudades}

\begin{lstlisting}
% ciudades(-Ciudades)

ciudades(Ciudades):- setof(C, esCiudadOrigen(C), Ciudades).
\end{lstlisting}